cnf in ai